
#ifndef __BSP_SYSTICK_H__
#define __BSP_SYSTICK_H__

#include <stdint.h>

uint64_t get_os_ticks(void);


#endif /* __SYSTICK_H__ */